<?php
/* dummy file for 014.phpt */
?>
